Inλ-calculus, the strategy of leftmost reduction (“call-by-name”) is known to have good mathematical properties; in particular, it always terminates when applied to a normalizable term. On the other hand, with this strategy, the argument of a function is re-evaluated at each time it is used.To avoid this drawback, we define the notion of “storage operator”, for each data type. IfT is a storage operator for integers, for example, let us replace the evaluation, by leftmost reduction, ofϕτ (whereτ is an integer, (...) andϕ anyλ-term) by the evaluation oftτϕ. Then, this computation is the same as the following: first computeτ up to some reduced formτ 0, and then applyϕ toτ 0. So, we have simulated “call-by-value” evaluation within the strategy of leftmost reduction.The main theorem of the paper (Corollary of Theorem 4.1) shows that, in a second orderλ-calculus, using Gödel's translation of classical intuitionistic logic, we can find a very simple type (or specification) for storage operators. Thus, it gives a way to get such operators, which is to prove this type in second order intuitionistic predicate calculus. (shrink)

Philosophical hermeneutics developed by the German philosopher Hans-Georg Gadamer and founded on interpretation as explicit form of comprehension generated a debate on contemporary hermeneutics about texts written at different periods of time from those in which they must then be applied. This debate is necessarily very instructive for the jurist when he interprets texts and creates positive law to produce a determined effect on recipients. Comprehension as participation in truth involves questioning and an interpretation devoid of prejudices. Illustration of hermeneutics (...) in law demonstrates that interpretation related to comprehension is strictly bound to the question of application bearing in mind that application does not only consist in concretizing comprehension, it constitutes his nucleus. It follows that hermeneutics oscillates between a theoretical and practical meaning. Regarding the concept of a presumption it is perceived as an instrumental necessity and a necessary corollary of interpretation in that it anticipates on the meaning found on the possibility. It is specified in a context of legal hermeneutics that it is necessary to distinguish the interpretation of the observer from the one of the player such the judge put in the performative position. (shrink)

, which uses the intuitionistic propositional calculus, with the only connective →. It is very important, because the well known Curry-Howard correspondence between proofs and programs was originally discovered with it, and because it enjoys the normalization property: every typed term is strongly normalizable. It was extended to second order intuitionistic logic, in 1970, by J.-Y. Girard [4], under the name of system F, still with the normalization property.More recently, in 1990, the Curry-Howard correspondence was extended to classical logic, following (...) Felleisen and Griffin [6] who discovered that the law of Peirce corresponds to control instructions in functional programming languages. It is interesting to notice that, as early as 1972, Clint and Hoare [1] had made an analogous remark for the law of excluded middle and controlled jump instructions in imperative languages.There are now many type systems which are based on classical logic; among the best known are the system LC of J.-Y. Girard [5] and the λμ-calculus of M. Parigot [11]. We shall use below a system closely related to the latter, called the λ c -calculus [8, 9]. Both systems use classical second order logic and have the normalization property.In the sequel, we shall extend the λ c -calculus to the Zermelo-Frænkel set theory. The main problem is due to the axiom of extensionality. To overcome this difficulty, we first give the axioms of ZF in a suitable (equivalent) form, which we call ZF ɛ. (shrink)

Aristotle’s Prior Analytics identifies deductions simpliciter with inferential necessity, so that a deduced conclusion is necessarily inferred from some premises. Modern logical reconstructions claim that inferential necessity in Aristotle corresponds to logical validity. However, this logical reconstruction fails on two accounts. First, logical validity does not highlight Aristotle’s distinction between inferential necessity and predicative necessity, meaning that the inferential necessity of a deduction is not of the same kind as the predicative necessity of a non‑deductive argument. Second, logical validity does (...) not explain the relevance of Aristotle’s distinction between complete and incomplete deductions. Logicians speak of complete deduction by adding the term “obvious” or “transparent” to logical validity, and then criticize Aristotle’s view for being unclear. However, Aristotle’s position is not confronted with this difficulty. There is nothing to add to inferential necessity, which already means complete deducibility, as opposed to incomplete deducibility, deemed to be potentially complete. Accordingly, the Prior Analytics reduces the incomplete deductions to the complete deductions in order to prove the potential, inferential necessity of the incomplete deductions. Logical validity would have been faithful to Aristotle’s text, if it had been possible to coin a notion of potential validity, distinct from both validity and invalidity. (shrink)

RésuméLes aspects théoriques les plus fondamentaux de la notion de complémentarité sont successivement étudiés.Dans la première partie la notion de complémentarité de Bohr est précisée et on montre de quelle façon cette notion est venue profoundément modifier les conceptions physiques. Dans une seconde partie la théorie générale des prévisions est résumée et ses principaux résultats sont énoncés pour permettre de mener ? une façon précise une discussion sur la notion de complémentarité: le problème des prévisions est ? abord posé, puis (...) décomposé en trois problèmes successifs grâce àľ introduction des eAléments initiaux et des eAléments de prévision.LCaron; opérateur ?évolution est ensuite défini. Puis on montre de quelle manière le calcul des prévisions conduit à une généralisation de la décomposition spectrale. II intervient alors une certaine fonction f dont la forme est déterminée. La notion de grandeur ?état est alors définie; lorsqu'il existe une telle grandeur le formalisme du calcul des prévisions se simplifle et se ramène au schèma ? un point en mouvement dans un espace de phases. Une théorie dans laquelle il existe une grandeur ?état est appelée théorie objectiviste. Par opposition une théorie telle qu'il n'existe pas de grandeur ?état est appelée théorie subjeetiviste. La fonction f a la forme |x|k; la constante k dans une théorie subjectiviste a une valeur unique et il est montré que k = 2: on établit ainsi comme un théorème le principe de décomposition spectrale, et cela pour toute théorie subjectiviste. On définit ensuite les grandeurs neutres, puis on fait la distinction entre les propriétés qui ont lieu en fait et celles qui ont lieu en droit. Les notions de déterminisme et dcaron; indéterminisme sont définies et il est montré qu'il n'y a que deux types de théories physiques: les théories objectivistes qui sont déterministes, et les théories subjectivistes qui sont essentiellement indéterministes.Dans la troisième partie la notion de complémentarité est diseutée en utilisant les résultats de la théorie générale des prévisions. On montre qu'il n'y a pas de complémentarités dans une théorie objectiviste et qu'au contraire il y en a nécessairement dans une théorie subjectiviste. Deux types de complémentarités peuvent se présenter: une complémentarité effective et une complèmentarité idéate, mais en fait il y a toujours des complémentarités effectives. Ensuite on examine les observations successives et les conditions qui se présentent suivant les complémentarités; on précise ce qu'on doit entendre par grandeurs complémentaires.La quatrième partie est consacrée à une interprétation du quantum ? action. Les différents aspects de la notion de quantification sont examinés , puis la constante de Planck est introduite au moyen de la notion de spin et au moyen du principe ? homomorphisme. Ľ origine de la subjectivité est examinée; un principe de subjectivité est énoncé et doit ètre mis à la base des théories de la microphysique; au contraire un principe ? objectivité doit ètre mis à la base de la physique macroscopique.La cinquième partie concerne les rapports entre les notions de complémentarité et ? indiscernabilité.Enfin la complémentarité de Bohr apparaît sous un aspect dialectique quand on ľ envisage comme provenant de ľ unification de deux théories qui s'opposaient au moyen ? un dépassement . – J.‐L. D. (shrink)

Le préambule de l'édit de Tiberius Julius Alexander inscrit sur les piliers du temple d'Hibis de l'oasis d'El Khargeh est exceptionnel à plus d'un titre : par sa longueur, par la complexité et la précision de son cadre idéologique associant empereur et gouverneur dans le gouvernement de l'Egypte, mais aussi par la difficulté qu'il y a à l'insérer, lui et son projet, dans la chronologie heurtée du début de l'année 68. L'examen de la forme diplomatique démontre qu'il s'agit d'un édit (...) préparé de longue date, la tâche essentielle dévolue par Néron au gouverneur de cette province qu'il devait visiter, et qui a été promulgué le 6 juillet 68 dans l'ignorance des événements romains. Sitôt annoncées et confirmées les nouvelles de la mort de Néron et de l'accession de Galba, le texte de l'édit et du préambule a été repris à la hâte pour l'adapter au programme du nouveau régime. Il faut donc considérer cet «édit de restauration d'Alexandrie et de l'Egypte» dans le droit fil des ordonnances philanthropiques hellénistiques, comme un édit néronien. En appendice, sont étudiés les usages dans la langue de chancellerie de πρόνοιαν ποιεΐσθαι, φροντίς, φροντίζειν et προγράφειν. (shrink)

Véronique Adam : Les neurosciences ne s’intéressent que depuis très récemment à l’olfaction. Pourriez‑vous expliquer pourquoi ce sens est devenu un objet d’étude plus prégnant? Jean-Louis Millot : En fait, l’olfaction demeure encore peu étudiée comparée à d’autres modalités sensorielles. De manière générale, les neurosciences cognitives actuelles, comme d’autres investigations scientifiques chez l’homme par le passé, se focalisent davantage sur les compétences cognitives complexes, telles qu...

Signifiance du monde propose une "harmonisation intégrale" entre la linguistique saussuro-guillaumienne des langues naturelles et la pensée phénoménologique heideggérienne de la vérité de l'être en tant qu'alètheia, dans son sens grec de "ce qui sort de la latence" et que Jean-Louis Tristani nomme illatence. En d'autres termes, cet essai donne accès à une compréhension des "relations grammaticales évidentes qui articulent l'être, dans sa vérité, et la pensée, telles qu'elles sont a priori données dans le système linguistique de n'importe (...) quelle langue naturelle". Cette mise au jour de la co-originarité de la langue et de la pensée corrobore la formule du linguiste français Antoine Meillet, maintes fois citée par Gustave Guillaume, selon laquelle, en ce lieu intelligible de la langue "tout se tient et a un plan d'une pleine rigueur". Une rigueur qui intègre le système morpho-lexical d'une langue, en tant qu'intégrale des conditions d'effection du discours, avec les conditions existentiales de possibilité du Dasein en tant qu'être-au-monde. D'où Signifiance du monde, ce titre qui annonce la composante linguistique de notre présence au monde."--Page 4 of cover. (shrink)

Deep learning and other similar machine learning techniques have a huge advantage over other AI methods: they do function when applied to real-world data, ideally from scratch, without human intervention. However, they have several shortcomings that mere quantitative progress is unlikely to overcome. The paper analyses these shortcomings as resulting from the type of compression achieved by these techniques, which is limited to statistical compression. Two directions for qualitative improvement, inspired by comparison with cognitive processes, are proposed here, in the (...) form of two mechanisms: complexity drop and contrast. These mechanisms are supposed to operate dynamically and not through pre-processing as in neural networks. Their introduction may bring the functioning of AI away from mere reflex and closer to reflection. (shrink)

Le plaidoyer de Meier pour la méthode dans l’exégèse historico-critique du N.T. le conduit à accorder une authenticité historique à des textes évangéliques que d’autres exégètes considèrent comme des relectures théologiques de l’Église primitive. Sur ce constat, il faudra donc mesurer ce que cette méthode peut apporter au portait historique de Jésus qui a été l’objectif de la longue histoire des quêtes du Jésus historique. Situé ainsi dans les débats sur le Jésus historique, le travail de Meier conduit à la (...) question théologique des rapports qui existent entre la vérité de la foi et les méthodes exégétiques, entre la vérité théologique et l’histoire. Il s’agira finalement de se demander, sur la base des travaux de Meier, de quel « Jésus » la théologie chrétienne a besoin pour être vraiment chrétienne.Meier’s plea in favor of a coherent method in historico-critical exegesis of the New Testament leads him to attribute an historical authenticity to evangelical texts that other exegesists consider as theological re-readings of the Early Church. On the basis of this assessment, we have to evaluate what this method may contribute to the historical portrait of Jesus which has been the goal of the many different quests for the historical Jesus. Once Meier’s work has been situated in the context of the debates on the historical Jesus, it leads to the theological question of the relationships that exist between the truth of faith and exegetical methods, between theological truth and history. In the final analysis, we have to wonder what kind of “Jesus” Christian theology needs in order to be truly Christian. (shrink)

Lo studio degli interventi politici repubblicani fiorentini dopo il 1494 (prediche savonaroliane, testi d'intervento, discorsi, dialoghi, cronache e storie) mette in rilievo in quest'articolo la nascita di una nuova lingua della politica, più immediata, più efficace, più precisa, più chiara che intende render conto dei tempi nuovi della guerra permanente e del suo stato d'emergenza. Questa retorica inedita porta quindi in sé nuove forme di razionalità politica che portono con sé buona parte dell'aurora della politica moderna.

Introduction. Il est bien connu que la correspondance de Curry-Howard permet d'associer un programme, sous la forme d'un λ-terme, à toute preuve intuitionniste, formalisée dans le calcul des prédicats du second ordre. Cette correspondance a été étendue, assez récemment, à la logique classique moyennant une extension convenable du λ-calcul. Chaque théorème formalisé en logique du second ordre correspond donc à une spécification de programme.Il se pose alors le problème, en général tout à fait non trivial, de trouver la spécification associée (...) à un théorème donné; autrement dit, de déterminer le comportement opérationnel commun aux λ-termes associés aux diverses démonstrations formelles du théorème considéré.Cette question est résolue ici pour le théorème de complétude de la logique classique.La première étape consiste à formaliser convenablement ce théorème en logique du second ordre. Ce travail est fait complètement dans la section 1. Il a comme sous-produit, peut-être inattendu, de montrer que ce théorème est prouvable en logique intuitionniste du second ordre. Ceci, toutefois, à condition d'introduire une légère variante de la notion de modèle, en admettant un modèle supplémentaire trivial, où toute formule est satisfaite.On notera, à ce sujet, que des preuves intuitionnistes du théorème de complétude de la logique intuitionniste, utilisant des variantes de la notion de modele de Kripke, ont été données par H. Friedman [7] et W. Veldman [8]. On remarquera également qu'un argument de G. Kreisel [2] montre que le théorème de complétude habituel de la logique intuitionniste n'a pas de preuve intuitionniste. (shrink)

This paper shows that Aristotle's De Interpretatione does not separate syntax from semantics. Linguistic sentences are not syntactic entities, and non-linguistic meanings are not semantic propositions expressed by linguistic sentences. In fact, Aristotle resorts to a mental conception of meaning, distinguishing linguistic meanings in a given language from non-linguistic mental contents in relation to actual things: while the former are not the same for all, the latter are shared by everyone. Aristotle is not a modern logician, like Boole, Frege, or (...) Russell, in so far as a mental conception of meaning does not reveal an abstract semantics for a syntactic language. (shrink)

The biological function of human reasoning abilities cannot be to improve shared knowledge. This is at best a side effect. A more plausible function of argumentation, and thus of reasoning, is to advertise one's ability to detect lies and errors. Such selfish behavior is closer to what we should expect from a naturally selected competence.

Artificial intelligency can bring speed and reliability to drug discovery process. It represents an additional intelligence, which in any case can replace the strategic and logic creative insight of the medicinal chemist who remains the architect and molecule master designer. In terms of drug design, artificial intelligency, deep learning machines, and other revolutionary technologies will match with the medicinal chemist’s natural intelligency, but for sure never go beyond. This manuscript tries to assess the impact of the artificial intelligency on drug (...) discovery today. (shrink)

Montrer que le rapport de la conversion au Souverain Bien chez Pascal nous invite à ausculter philosophiquement la notion d'émotion : c'est ce que Jean-Louis Bischoff entend montrer dans la présente étude. L'enjeu de son enquête est clair : il entend affoler et subvertir l'approche commune du mot « émotion ». Pour mener à bien son projet, l'auteur mobilise les lumières de philosophes comme Marion, Levinas, Ricoeur, Greisch ou Romano.

We describe here a simple method in order to obtain programs from proofs in second-order classical logic. Then we extend to classical logic the results about storage operators proved by Krivine for intuitionistic logic. This work generalizes previous results of Parigot.

Jean-Louis Fournel, abordant la période des guerres d’Italie, tente de montrer comment ces nouvelles guerres modifient l’intensité et le rythme de la guerre guerroyée : la conscience d’une violence et d’une rapidité inédites fait planer une menace de mort sur les États eux-mêmes et la question de la guerre est dès lors placée au cœur de la pensée politique. Trois manifestations de ces « nouvelles » guerres marquent particulièrement les contemporains et autorisent l’analyste à évoquer ici une « (...) brutalisation » ou un ensauvagement des conflits, bien avant la Première Guerre mondiale qui a fondé récemment le développement d’une telle problématique : les sacs de ville, la mise en coupe réglée des territoires conquis avec le développement d’une véritable guerre contre les civils et, enfin, l’augmentation exponentielle du nombre de morts durant les batailles (du fait entre autres des modifications dans l’armement et du nombre de soldats constituant les nouvelles armées « nationales »). S’ensuivent des tentatives d’une nouvelle « humanisation », très relative des conflits armés fondée sur un nouvel examen du jus in bello (par opposition à une quasi disparition de la question du jus ad bellum). Il est notable à cet égard que le lexique de la « barbarie » est très peu utilisé chez les chroniqueurs et historiens des guerres d’Italie alors même qu’il a une forte présence chez les historiens et témoins des guerres de Religion en France. On peut se poser la question de savoir s’il ne faudrait pas voir là une certaine « rechristianisation » du discours sur la guerre. De la sorte, cette « rechristianisation » d’une partie de la réflexion sur la violence de guerre, au croisement du déclin de l’idéologie chevaleresque, des réflexions philosophiques, théologiques ou juridiques nées des massacres commis par les conquistadores dans le « nouveau monde » (Cortez avait fait ses premières armes sur les champs de bataille italiens) et des réactions face aux atrocités de la guerre civile, permettrait peut-être tout à la fois d’inscrire la barbarie dans le présent des conflits, de permettre un nouveau discours pacifiste, de confier paradoxalement au souverain comme instance laïque, au-dessus des choix religieux personnels, le rôle d’arbitre et de régulateur des guerres (cf. les politiques), et, enfin, de relancer la question du jus in bello (le jus ad bellum n’étant plus vraiment opératoire, pas plus que le rôle d’arbitre du pape qui s’effondrera bientôt définitivement dans l’Europe née du traité de Westphalie). (shrink)

Episodic memory is certainly a unique endowment, but its primary purpose is something other than to provide raw material for creative synthesis of future scenarios. Remembered episodes are exactly those that are worth telling. The function of episodic memory, in my view, is to accumulate stories that are relevant to recount in conversation.

Reflecting Alan Robinson's fundamental contribution to computational logic, this book brings together seminal papers in inference, equality theories, and logic programming. It is an exceptional collection that ranges from surveys of major areas to new results in more specialized topics. Alan Robinson is currently the University Professor at Syracuse University. Jean-Louis Lassez is a Research Scientist at the IBM Thomas J. Watson Research Center. Gordon Plotkin is Professor of Computer Science at the University of Edinburgh. Contents: Inference. Subsumption, (...) A Sometimes Undervalued Procedure, Larry Wos, Ross Overbeek, and Ewing Lusk. The Markgraf Karl Refutation Procedure, Hans Jurgen Ohlbach and Jorg H. Siekmann. Modal Logic Should Say More than it Does, Melvin Fitting. Interactive Proof Presentation, W. W. Bledsoe. Intelligent Backtracking Revisited, Maurice Bruynooghe. A Science of Reasoning, Alan Bundy. Inductive Inference of Theories from Facts, Ehud Y. Shapiro. Equality. Solving Equations in Abstract Algebras: A Rule-based Survey of Unification, Jean-Pierre Jouannaud and Claude Kirchner. Disunification: A Survey, Hubert Comon. A Case Study of the Completion Procedure: Proving Ring Commutativity Problems, Deepak Kapur and Hantao Zhang. Computations in Regular Rewriting Systems I and II, Girard Huet and JeanJacques Levy. Unification and ML Type Reconstruction, Paris Kanellakis, Harry Mairson, and John Mitchell. Automatic Dimensional Analysis, Mitchell Wand. Logic Programming. Logic Programming Schemes and Their Implementations, Keith Clark. A Near-Horn Prolog for Compilation, Donald Loveland and David Reed. Unfold/Fold Transformations of Logic Programs, P. A. Gardner and J. C. Shepherdson. An Algebraic Representation of Logic Program Computations, Andrea Corradini and Ugo Montanari. Theory of Disjunctive Logic Programs, Jack Minker, Arcot Rajasekar, and Jorge Lobo. Bottom-Up Evaluation of Logic Programs, Jeffrey Naughton and Raghu Ramakrishnan. Absys, the First Logic Programming Language: A View of the Inevitability of Logic Programming, E. W. Elcock. (shrink)